Bridging the GUI Gap with Reactive Values and Relations Ivan Perez Henrik Nilsson School of Computer Science

Source URL: www.cs.nott.ac.uk

• Computer programming
• Computing
• Software engineering
• Widget toolkits
• Functional programming
• Graphical user interfaces
• Application programming interfaces
• Evaluation strategy
• Reactive programming
• Widget
• Functional reactive programming
• Tk

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow

An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Education
• Educational psychology
• Human behavior
• Educational assessment
• Flag
• Capture the flag
• Exercise
• CTFS
• VM
• Formative assessment
• Educational technology
• Test

VICTORIA UNIVERSITY OF WELLINGTON Te Whare Wananga o te Upoko o te Ika a Maui School of Engineering and Computer Science ¯ ¯

Source URL: homepages.ecs.vuw.ac.nz

A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA

Source URL: users.cis.fiu.edu

Synchronous Counting and Computational Algorithm Design Danny Dolev School of Engineering and Computer Science, The Hebrew University of Jerusalem

Source URL: people.mpi-inf.mpg.de

Inclusive Block Chain Protocols Yoad Lewenberg1 , Yonatan Sompolinsky1 , and Aviv Zohar1,2 1 The School of Engineering and Computer Science, The Hebrew University of Jerusalem, Israel

Source URL: www.cs.huji.ac.il

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Source URL: www.cs.bham.ac.uk

Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

Source URL: iea.lth.se